Specifying and Monitoring GrADS Contracts
نویسندگان
چکیده
In this document we define a contract in the context of the GrADS project and describe the current software infrastructure for creating and monitoring contracts. The mechanisms presented are quite flexible and support a wide range of contract specification and verification implementations. This flexibility allows for experimentation to identify the types of contracts that are most effective for applications in the Grid environment targeted by the GrADS project.
منابع مشابه
Monitoring Design Pattern Contracts
Design patterns allow system designers to reuse well established solutions to commonly occurring problems. These solutions are usually described informally. While such descriptions are certainly useful, to ensure that designers precisely and unambiguously understand the requirements that must be met when applying a given pattern, we also need formal characterizations of these requirements. Furt...
متن کاملStatic Contract Simplification
Contracts and contract monitoring are a powerful mechanism for specifying properties and guaranteeing them at run time. However, run time monitoring of contracts imposes a significant overhead. The execution time is impacted by the insertion of contract checks as well as by the introduction of proxy objects that perform delayed contract checks on demand. Static contract simplification attacks t...
متن کاملSpecifying Reusable Components Using Contracts
Contracts were introduced by Helm et al. as a high level construct for explicitly specifying interactions among groups of objects. This paper describes further developments and application of the Contract construct. We show how Contracts can be used to represent classic algorithms as large grained reusable object oriented abstractions, how these algorithms can be customized through Contract ree...
متن کاملManaging dynamic services: a contract based approach to a conceptual architecture
This paper describes a novel contract based approach for defining, deploying, monitoring and enforcing service level agreements (SLA) in a dynamic e-Business environment. The current trend in application service delivery is to move away from tightly coupled systems towards structures of loosely coupled, dynamically bound systems with long and short business relationships. It appears highly like...
متن کاملTowards Certified Management of Financial Contracts∗
Banks and financial institutions nowadays often use domain-specific languages (DSLs) for describing complex financial contracts, in particular, for specifying how asset transfers for a specific contract depend on underlying observables, such as interest rates, currency rates, and stock prices. The seminal work by Peyton-Jones and Eber on financial contracts [4] shows how an algebraic approach t...
متن کامل